1. Computability and Logic
Author: / George S. Boolos
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject:
2. Computability and logic
Author: Boolos, George.
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
Classification :
QA
9
.
59
.
B6C6
3. Computability and logic
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computable functions,Recursive functions,Logic, Symbolic and mathematical
Classification :
QA9
.
59
.
B66
2002
4. Computability and logic
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computable functions,Recursive functions,Logic, Symbolic and mathematical
Classification :
E-BOOK
5. Computability and logic
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions.,Recursive functions.,Logic, Symbolic and mathematical.
Classification :
QA
,
9
.
59
,.
B66
,
2002
6. Computability and logic
Author: Boolos, George S., 0491-6991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B66C6
7. Computability and logic.
Author: / [electronic resource
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computable functions,Electronic books. , local
Classification :
E-BOOK
8. Computability and logic
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computable functions,Recursive functions,Logic, Symbolic and mathematical
Classification :
QA9
.
59
.
B66
2002
9. Computability and logic
Author: Boolos, George S., 0491-6991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B66C6
1989
10. Computability and logic
پدیدآورنده : Boolos, George
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and Mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
11. Logic, Logic, and logic
Author: Boolos, George S., 0491-6991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic
Classification :
BC
51
.
B6
12. The logic of provability
Author: Boolos, George S., 0491-6991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Modality )Logic(,، Proof theory
Classification :
BC
199
.
M6B6
